-
1 stochastic logic
Большой англо-русский и русско-английский словарь > stochastic logic
-
2 stochastic logic
Математика: стохастическая логика -
3 stochastic logic
-
4 generalized stochastic logic
Математика: обобщённая стохастическая логикаУниверсальный англо-русский словарь > generalized stochastic logic
-
5 generalized stochastic logic
English-Russian scientific dictionary > generalized stochastic logic
-
6 logic
-
7 стохастическая логика
stochastic logic мат.Русско-английский научно-технический словарь Масловского > стохастическая логика
-
8 стохастическая логика
Большой англо-русский и русско-английский словарь > стохастическая логика
-
9 обобщённая стохастическая логика
Mathematics: generalized stochastic logicУниверсальный русско-английский словарь > обобщённая стохастическая логика
-
10 стохастическая логика
Mathematics: stochastic logicУниверсальный русско-английский словарь > стохастическая логика
-
11 обобщенная стохастическая логика
Русско-английский научно-технический словарь Масловского > обобщенная стохастическая логика
-
12 ускоритель логического моделирования
Русско-английский большой базовый словарь > ускоритель логического моделирования
-
13 system
1) система || системный3) вчт операционная система; программа-супервизор5) вчт большая программа6) метод; способ; алгоритм•system halted — "система остановлена" ( экранное сообщение об остановке компьютера при наличии серьёзной ошибки)
- CPsystem- H-system- h-system- hydrogen-air/lead battery hybrid system- Ksystem- Lsystem- L*a*b* system- master/slave computer system- p-system- y-system- Δ-system -
14 simulation
моделирование; имитационное моделирование; имитация- analog-computer simulation
- analog-digital simulation
- behavioral simulation
- cell-level simulation
- circuit simulation
- computer simulation
- conceptual data simulation
- continuous simulation
- critical-path timing simulation
- data simulation
- date simulation
- deterministic simulation
- digital simulation
- digital-computer simulation
- dynamic simulation
- electronic simulation
- empirical simulation
- environmental simulation
- event-driven logic simulation
- functional simulation
- gaming simulation
- gate-level logic simulation
- geometrical simulation
- hardware simulation
- heuristic simulation
- high-level simulation
- human factor simulation
- input/output simulation
- interrupt simulation
- logic simulation
- machine simulation
- macroscopic freeway simulation
- mathematical simulation
- matrix simulation
- mixed-level simulation
- mixed-mode simulation
- Monte-Carlo simulation
- multilevel simulation
- multilevel-mode simulation
- multimode simulation
- network simulation
- numerical simulation
- operational simulation
- physical simulation
- real-time simulation
- smart simulation
- software simulation
- space simulation
- stochastic simulation
- subcircuit-level simulation
- system simulation
- tactic combat simulation
- time simulation
- traffic simulation
- transistor-level simulation
- virtual reality simulation
- visual interactive simulation
- voice simulation -
15 simulation
моделирование; имитационное моделирование; имитация- analog-computer simulation
- analog-digital simulation
- behavioral simulation
- cell-level simulation
- circuit simulation
- computer simulation
- conceptual data simulation
- continuous simulation
- critical-path timing simulation
- data simulation
- date simulation
- deterministic simulation
- digital simulation
- digital-computer simulation
- dynamic simulation
- electronic simulation
- empirical simulation
- environmental simulation
- event-driven logic simulation
- functional simulation
- gaming simulation
- gate-level logic simulation
- geometrical simulation
- hardware simulation
- heuristic simulation
- high-level simulation
- human factor simulation
- input/output simulation
- interrupt simulation
- logic simulation
- machine simulation
- macroscopic freeway simulation
- mathematical simulation
- matrix simulation
- mixed-level simulation
- mixed-mode simulation
- Monte-Carlo simulation
- multilevel simulation
- multilevel-mode simulation
- multimode simulation
- network simulation
- numerical simulation
- operational simulation
- physical simulation
- real-time simulation
- smart simulation
- software simulation
- space simulation
- stochastic simulation
- subcircuit-level simulation
- system simulation
- tactic combat simulation
- time simulation
- traffic simulation
- transistor-level simulation
- virtual reality simulation
- visual interactive simulation
- voice simulationThe New English-Russian Dictionary of Radio-electronics > simulation
-
16 programming
1) вчт программирование•- applications programming
- automatic programming
- bare metal programming
- beam programming
- bottom-up programming
- business programming
- cascade programming
- compositional parallel programming
- compromise programming
- conceptual programming
- concurrent programming
- configuration programming
- declarative programming
- distributed logic programming
- dynamic programming
- egoless programming
- event-driven programming
- flow programming
- functional programming
- fuzzy programming
- generic programming
- genetic programming
- geometric programming
- goal-driven programming
- heuristic programming
- high-level language programming
- imperative programming
- inference programming
- integer programming
- interactive programming
- interpretive programming
- linear programming
- linear integer programming
- logic programming
- macro programming
- maintenance programming
- manual programming
- mathematical programming
- metalevel programming
- mixed integer programming
- modular programming
- modular parallel programming
- molecular programming
- multicriteria programming
- neurodynamic programming
- neurolinguistic programming
- nonlinear programming
- nonnumeric programming
- object-based programming
- object-language programming
- object-oriented programming
- off-line programming
- optimum programming
- parallel programming
- parallel programming in transputer medium
- parallel programming with coordination structures
- paranoid programming
- polynomial programming
- possibilistic programming
- predicate programming
- procedure-oriented programming
- production programming
- quadrature programming
- recursive quadratic programming
- stochastic programming
- structural programming
- structured programming
- switchboard programming
- symbolic programming
- symbolic-language programming
- system programming
- systems programming
- test programming
- top-down programming
- traditional programming
- typematic delay programming
- typematic rate programming
- visual programming -
17 programming
1) вчт. программирование•- applications programming
- automatic programming
- bare metal programming
- beam programming
- bottom-up programming
- business programming
- cascade programming
- compositional parallel programming
- compromise programming
- conceptual programming
- concurrent programming
- configuration programming
- declarative programming
- distributed logic programming
- dynamic programming
- egoless programming
- event-driven programming
- flow programming
- functional programming
- fuzzy programming
- generic programming
- genetic programming
- geometric programming
- goal-driven programming
- heuristic programming
- high-level language programming
- imperative programming
- inference programming
- integer programming
- interactive programming
- interpretive programming
- linear integer programming
- linear programming
- logic programming
- macro programming
- maintenance programming
- manual programming
- mathematical programming
- metalevel programming
- mixed integer programming
- modular parallel programming
- modular programming
- molecular programming
- multicriteria programming
- neurodynamic programming
- neurolinguistic programming
- nonlinear programming
- nonnumeric programming
- object-based programming
- object-language programming
- object-oriented programming
- off-line programming
- optimum programming
- parallel programming in transputer medium
- parallel programming with coordination structures
- parallel programming
- paranoid programming
- polynomial programming
- possibilistic programming
- predicate programming
- procedure-oriented programming
- production programming
- quadrature programming
- recursive quadratic programming
- stochastic programming
- structural programming
- structured programming
- switchboard programming
- symbolic programming
- symbolic-language programming
- system programming
- systems programming
- test programming
- top-down programming
- traditional programming
- typematic delay programming
- typematic rate programming
- visual programmingThe New English-Russian Dictionary of Radio-electronics > programming
-
18 programming
сущ.
1) планирование
2) программирование ∙ - automatic programming - mathematical programming programming of construction investment programming programming language programming strategy Syn: planning составление программы выполнение программы программирование - * environment среда программирования - * language язык программирования - automatic * автоматическое программирование воспроизведение режима работы absolute ~ вчт. программирование в абсолютных адресах action-driven ~ вчт. программирование управляемое событиями automatic ~ вчт. автоматическое программирование block ~ вчт. блочное программирование computer ~ вчт. программирование ЭВМ computer-aided ~ вчт. автоматическое программирование computerized ~ вчт. автоматическое программирование concave ~ вчт. вогнутое программирование concurrent ~ вчт. параллельное программирование control-oriented ~ вчт. программирование задач управления convex ~ вчт. выпуклое программирование data-driven ~ вчт. программирование управляемый данными discrete ~ вчт. дискретное программирование dynamic ~ вчт. динамическое программироване dynamic ~ вчт. динамическое программирование dynamical ~ вчт. динамическое программирование egoless ~ вчт. безличное программирование encapsulated ~ вчт. модульное программирование end-user ~ вчт. средства программирования для пользователя event-driven ~ вчт. программирование управляемое событиями geometric ~ вчт. геометрическое программирование geometrical ~ вчт. геометрическое программирование heuristic ~ вчт. эвристическое программирование hyperbolic ~ вчт. гиперболическое программирование hyperbolical ~ вчт. гиперболическое программирование iconic ~ вчт. программирование в графических образах imperative ~ вчт. императивное программирование in-house ~ вчт. программирование собственными силами incremental ~ вчт. пошаговое программирование integer ~ вчт. дискретное программирование integer ~ вчт. целочисленное программирование interactive ~ вчт. интерактивное программирование linear ~ вчт. линейное программирование logic ~ вчт. логическое программирование logical ~ вчт. логическое программирование mathematic ~ вчт. математическое программирование mathematical ~ вчт. математическое программирование minimum delay ~ оптимальное программирование minimum delay ~ вчт. программирование по критерию минимизации времени доступа minimum-access ~ вчт. программирование с минимизацией задержки modular ~ вчт. модульное программирование multiple ~ вчт. мульти-программирование nonlinear ~ нелинейное программирование object-oriented ~ вчт. объектно-ориентированное программирование optimum ~ вчт. оптимальное программирование parametric ~ вчт. параметрическое программирование parametrical ~ вчт. параметрическое программирование procedural ~ вчт. процедурное программирование procedure-oriented ~ вчт. процедурно ориентированное программирование programming программирование ~ вчт. программирование quadratic ~ квадратическое программирование relational ~ недетерминированное программирование relative ~ вчт. программирование в относительных адресах rule-based ~ вчт. продукционное программирование rule-oriented ~ вчт. логическое программирование separable ~ вчт. сепарабельное программирование serial ~ вчт. последовательное программирование simplex ~ вчт. симплексное программирование square ~ квадратичное программирование statistical ~ вчт. статистическое программирование stochastic ~ стохастическое программирование structured ~ вчт. структурное программирование symbolic ~ вчт. символическое программированиеБольшой англо-русский и русско-английский словарь > programming
-
19 theory
ˈθɪərɪ сущ.
1) теория to advance, present, propose, suggest a theory ≈ предлагать, отстаивать теорию to advocate theory ≈ отстаивать теорию to combine theory and practice ≈ объединять теорию и практику to confirm a theory ≈ подтверждать теорию to develop a theory ≈ развивать теорию to disprove, explode, refute a theory ≈ опровергать, подрывать, разбивать теорию to formulate a theory ≈ формулировать теорию to test a theory ≈ проверять теорию pet theory ≈ излюбленная теория a theory evolves ≈ теория возникает, появляется a theory holds up ≈ теория подтверждается in theory ≈ в теории, теоретически In theory their plan makes sense. ≈ Теоретически их план имеет смысл. on a theory ≈ согласно теории They proceeded on the theory that the supplies would arrive on time. ≈ Они исходили из предположения, что припасы прибудут вовремя. She has a theory that drinking milk prevents colds. ≈ У нее была теория, что если будешь пить молоко, то не заболеешь. scientific theory game theory information theory political theory quantum theory systems theory big bang steady state theory theory of relativity numbers theory
2) разг. предположение теория;
- сoherent * последовательная теория - social-science theories социологические теории - general relativity * общая теория относительности - * of evolution теория эволюции - essays in * теоретические очерки - to formulate a * сформулировать теорию - to put forward a new * выдвинуть новую теорию - the theories that have sprung up in recent years теории, появившиеся в последние годы - the * of economic integration has made rapid strides теория экономической интеграции быстро развивалась (математика) раздел( математики), теория - game * туория игр - * of similarity теория подобия - the * of numbers теория чисел( разговорное) предположение, догадка;
особое мнение, взгляд - to have a * полагать - what's your * of the case? что вы думаете по этому поводу? - my * is that he is lying я думаю, что он лжет - my * has been amply born out моя точка зрения полностью подтвердилась теоретические правила, основы - the * of education теоретические основы воспитания без артикля: абстрактные, теоретические знания - * and practice теория и практика - in * в теории;
теоретически, абстрактно, отвлеченно - your plan is good in * вообще ваш план неплох applied decision ~ прикладная теория принятия решений automata ~ теория автоматов axiomatic ~ аксиоматическая теория communication ~ теория связи deterrence ~ теория устрашения expectation ~ теория вероятностей game ~ теория игр graph ~ теория графов theory разг. предположение;
to have a theory that... полагать, что... hemline ~ бирж. теория "длины дамских юбок" (шуточная теория о том, что цены акций движутся в одном направлении с длиной дамских юбок) information ~ теория информации intimidation ~ теория устрашения legal ~ правовая теория linear programming ~ теория линейного программирования liquidity preference ~ теория предпочтения ликвидности logic ~ матлогика logical ~ логическая теория nonlinearized ~ нелинейная теория ~ теория;
numbers theory теория чисел operations research ~ теория исследования операций optimal control ~ оптимальная теория управления optimization ~ теория оптимизации price ~ полит.эк. теория цен probabilistic decision ~ вероятностная теория принятия решений probability ~ теория вероятностей queueing ~ стат. теория массового обслуживания queueing ~ теория массового обслуживания representation ~ теория представлений sampling ~ теория выборочного метода theory разг. предположение;
to have a theory that... полагать, что... ~ теоретические основы ~ теоретические правила ~ теория;
numbers theory теория чисел ~ теория ~ of large samples теория больших выборок ~ of law теория права ~ of matrices теория матриц ~ of programming вчт. теория программирования ~ of queues стат. теория массового обслуживания ~ of random processes теория случайных процессов ~ of sets теория множеств ~ of statistical decision теория статистических решений ~ of stochastic processes теория случайных процессов ~ of testing hypothesis теория проверки гипотез ~ of time series теория временных рядов ~ of wages теория заработной платы ~ of waiting lines теория массового обслуживания ~ of weighted smoothing теория взвешенного сглаживания waiting line ~ стат. теория массового обслуживания -
20 algorithm
-
ad hoc algorithm
-
adaptive algorithm
-
aim algorithm
-
best-route algorithm
-
branch-and-bound algorithm
-
branching algorithm
-
chain algorithm
-
coding algorithm
-
collision fronts algorithm
-
combinatorial algorithm
-
computational algorithm
-
construction algorithms
- contour following algorithm -
contour matching algorithm
-
control algorithm
-
curve-fitting algorithm
-
decoding algorithm
-
division algorithm
-
docking algorithm
-
edge-tracking algorithm
-
Euclidian algorithm
-
exact embedding algorithm
-
exchange algorithm
-
generalized algorithm
-
greedy algorithm
-
hardware algorithm
-
image understanding algorithm
-
itention algorithm
-
layout algorithm
-
learning algorithm
-
logical algorithm
-
logic algorithm
-
look-ahead control algorithm
-
LOS approach algorithm
-
min-cut algorithm
-
modeling algorithm
-
Monte-Carlo algorithm
-
numerical algorithm
-
obstacle-avoidance algorithm
-
operating algorithm
-
ordering algorithm
-
paging algorithm
-
partitioning algorithm
-
pattern generation algorithm
-
placement algorithm
-
prediction algorithm
-
probabalistic algorithm
-
problem algorithm
-
programming algorithm
-
random-search algorithm
-
recognition algorithm
-
recursive algorithm
-
rendezvous algorithm
-
routing algorithm
-
scheduling algorithm
-
shortest path algorithm
-
shrinking algorithm
-
simplex algorithm
-
software algorithm
-
sorting algorithm
-
stack algorithm
-
steering algorithm
-
stochastic algorithm
-
testing algorithm
-
transportation algorithm
-
tree-search algorithm
-
velocity compensated algorithm
-
vision algorithm
-
wiring algorithm
- 1
- 2
См. также в других словарях:
Noise-based logic — (NBL)[1][2][3][4][5][6][ … Wikipedia
Common knowledge (logic) — For common knowledge in general, see Common knowledge. Common knowledge is a special kind of knowledge for a group of agents. There is common knowledge of p in a group of agents G when all the agents in G know p, they all know that they know p,… … Wikipedia
Stephen Muggleton — (born December 6, 1959) is Head of the Computational Bioinformatics Laboratory at Imperial College London. He received his BSc in Computer Science (1982) and PhD in Artificial Intelligence (1986, supervised by Donald Michie) from the University… … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… … Wikipedia
Linear partial information — (LPI) is a method of making decisions based on insufficient or fuzzy information. LPI was introduced in 1970 by Polish Swiss mathematician Edward Kofler (1911 2007) to simplify decision processes. Comparing to other methods the LPI fuzziness is… … Wikipedia
John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann … Wikipedia
Syntax — Syntactic redirects here. For another meaning of the adjective, see Syntaxis. For other uses, see Syntax (disambiguation). Linguistics … Wikipedia
Non-standard analysis — Abraham Robinson Gottfried Wilhelm Leibniz argued tha … Wikipedia
Areas of mathematics — Mathematics has become a vastly diverse subject over history, and there is a corresponding need to categorize the different areas of mathematics. A number of different classification schemes have arisen, and though they share some similarities,… … Wikipedia
Vaclav E. Benes — Vaclav Edvard Vic Benes (born 1930) is a Czech American mathematician, known for his contributions to the theory of stochastic processes, queueing theory and control theory, as well as the design of telecommunications switches.He studied under… … Wikipedia